Peter Höfner: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Relational and algebraic methods in computer science

Kahl, Wolfram, Griffin, Timothy G., Höfner, Peter

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 151 KB

english, 2015

2

Algebraic notions of nontermination: Omega and divergence in idempotent semirings

Peter Höfner, Georg Struth

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

3

Hopscotch—reaching the target hop by hop

Höfner, Peter, McIver, Annabelle

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2014

Language:

english

File:

PDF, 337 KB

english, 2014

4

Ausgrabungen und Forschungsreisen

Erich Winter, C. F.-A. Schaeffer, Ernst Weidner, H. J. Lenzen, Hans Hirsch, Anton Moortgat, W. Orthmann, Peter Neve, Fritz Schachermeyr, P. J. Riis, H.-P. Rüger, H. Hirsch, A. Petra, Maria Höfner, Kar

Journal:

Archiv für Orientforschung

Year:

1966

Language:

german

File:

PDF, 26.52 MB

german, 1966

5

Cardinality of relations and relational approximation algorithms

Berghammer, Rudolf, Höfner, Peter, Stucke, Insa

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 500 KB

english, 2016

6

Extended Feature Algebra

Höfner, Peter, Möller, Bernhard

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.03 MB

english, 2015

7

Modelling and verifying the AODV routing protocol

van Glabbeek, Rob, Höfner, Peter, Portmann, Marius, Tan, Wee Lum

Journal:

Distributed Computing

Year:

2016

Language:

english

File:

PDF, 763 KB

english, 2016

8

Relational and algebraic methods in computer science

Höfner, Peter, Jipsen, Peter, Kahl, Wolfram, Müller, Martin Eric

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 197 KB

english, 2016

9

Modeling spatiotemporal abundance of mobile wildlife in highly variable environments using boosted GAMLSS hurdle models

Smith, Adam, Hofner, Benjamin, Lamb, Juliet S., Osenkowski, Jason, Allison, Taber, Sadoti, Giancarlo, McWilliams, Scott R., Paton, Peter

Journal:

Ecology and Evolution

Year:

2019

Language:

english

File:

PDF, 1.94 MB

english, 2019

10

Relational and algebraic methods in computer science

Höfner, Peter, Pous, Damien, Struth, Georg

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 148 KB

2019

11

Ein cyclisches Methylenboran mit Trapez-Geometrie

Andrea Höfner, Dr. Bernd Ziegler, Dr. Ralf Hunold, Peter Willershausen, Prof. Dr. Werner Massa, Prof. Dr. Armin Berndt

Journal:

Angewandte Chemie

Year:

1991

File:

PDF, 332 KB

1991

12

A Cyclic Methyleneborane with Trapezoidal Geometry

Andrea Höfner, Dr. Bernd Ziegler, Dr. Ralf Hunold, Peter Willershausen, Prof. Dr. Werner Massa, Prof. Dr. Armin Berndt

Journal:

Angewandte Chemie International Edition

Year:

1991

Language:

english

File:

PDF, 351 KB

english, 1991

13

Enantiomerically Pure Aminoindolizines: Bicyclic Ergoline Analogues with Dopamine Autoreceptor Activity

Peter Gmeiner, Joachim Mierau, Georg Höfner

Journal:

Archiv der Pharmazie

Year:

1992

Language:

english

File:

PDF, 338 KB

english, 1992

14

Tricyclic Azaergoline Analogues: Synthesis, Structural Modifications, and Pharmacological Studies

Peter Gmeiner, Josef Sommer, Georg Höfner, Joachim Mierau

Journal:

Archiv der Pharmazie

Year:

1992

Language:

english

File:

PDF, 790 KB

english, 1992

15

Synthesis of (S)-3,4-Diaminobutanenitriles as Precursors for 3-Amino-GABA Derivatives

Peter Gmeiner, Evi Hummel, Christian Haubmann, Georg Höfner

Journal:

Archiv der Pharmazie

Year:

1995

Language:

english

File:

PDF, 368 KB

english, 1995

16

Synthesis and Dopamine Receptor Binding of 3-Phenylazepino[5,4,3-c,d]indole Derivatives

Peter Gmeiner, Josef Sommer, Georg Höfner

Journal:

Archiv der Pharmazie

Year:

1995

Language:

english

File:

PDF, 395 KB

english, 1995

17

Synthesis, Pharmacological Investigation and Computational Studies on a Tricyclic Ergoline Analog with Selective Dopamine Autoreceptor Activity

Peter Gmeiner, Bernd Bollinger, Joachim Mierau, Georg Höfner

Journal:

Archiv der Pharmazie

Year:

1995

Language:

english

File:

PDF, 710 KB

english, 1995

18

Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 433 KB

english, 2007

19

Can Refinement be Automated?

Peter Höfner, Georg Struth

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 375 KB

english, 2008

20

Mg alloy infiltrated Si–O–C ceramic foams

Jürgen Zeschky, Jason Lo, Thomas Höfner, Peter Greil

Journal:

Materials Science and Engineering: A

Year:

2005

Language:

english

File:

PDF, 421 KB

english, 2005

21

HI and OH absorption toward NGC 6240

Yoshiaki Hagiwara, Willem A. Baan, Peter Hofner

Journal:

New Astronomy Reviews

Year:

2007

Language:

english

File:

PDF, 403 KB

english, 2007

22

Polysilsesquioxane derived ceramic foams with gradient porosity

Jürgen Zeschky, Thomas Höfner, Claudia Arnold, Rudolf Weißmann, Djamila Bahloul-Hourlier, Michael Scheffler, Peter Greil

Journal:

Acta Materialia

Year:

2005

Language:

english

File:

PDF, 791 KB

english, 2005

23

Novel pyrrolinones as N-methyl-d-aspartate receptor antagonists

Hermann Poschenrieder, Hans-Dietrich Stachel, Georg Höfner, Peter Mayer

Journal:

European Journal of Medicinal Chemistry

Year:

2005

Language:

english

File:

PDF, 347 KB

english, 2005

24

Fixing Zeno gaps

Peter Höfner, Bernhard Möller

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 466 KB

english, 2011

25

Dopamine autoreceptor agonists: computational studies, synthesis and biological investigations

Peter Gmeiner, Josef Sommer, Joachim Mierau, Georg Höfner

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

1993

Language:

english

File:

PDF, 2.79 MB

english, 1993

26

The responsiveness of the ICSmale questionnaire to outcome: evidence from the ICS-‘BPH’ study

Donovan, Brookes, De La Rosette, Peters, Porru, Kondo, Dabhoiwala, Millard, Bosch, Nordling, Matos Ferreira, Höfner, Mostafid, Walter, Nissenkorn, Frimodt Moller, Mendes Silva, Chapple, Abrams

Journal:

BJU International

Year:

1999

Language:

english

File:

PDF, 94 KB

english, 1999

27

An algebra of product families

Peter Höfner, Ridha Khedri, Bernhard Möller

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 2.21 MB

english, 2011

28

Automated verification of refinement laws

Peter Höfner, Georg Struth, Geoff Sutcliffe

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 411 KB

english, 2009

29

Algebraic Structure of Web Services

Peter Höfner, Florian Lautenbacher

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 302 KB

english, 2008

30

Long-term therapy with the dual 5α-reductase inhibitor dutasteride is well tolerated in men with symptomatic benign prostatic hyperplasia

CLAUDE SCHULMAN, PETER POMMERVILLE, KLAUS HÖFNER, BARTON WACHS

Journal:

BJU International

Year:

2006

Language:

english

File:

PDF, 176 KB

english, 2006

31

Pressure and density gradients in H II Regions

José Franco, Stan E. Kurtz, José A. GarcÍa-Barreto, Guillermo GarcÍa-Segura, Eduardo de la Fuente, Peter Hofner, Alejandro Esquivel

Journal:

Astrophysics and Space Science

Year:

2001

Language:

english

File:

PDF, 61 KB

english, 2001

32

Genetic Polymorphisms of NOD1 and IL-8, but not Polymorphisms of TLR4 Genes, Are Associated with Helicobacter pylori-Induced Duodenal Ulcer and Gastritis

Peter Hofner, Zsofia Gyulai, Zsuzsanna F. Kiss, Andrea Tiszai, László Tiszlavicz, Gábor Tóth, Dominika Szõke, Béla Molnár, János Lonovics, Zsolt Tulassay, Yvette Mándi

Journal:

Year:

2007

Language:

english

File:

PDF, 207 KB

english, 2007

33

Dijkstra, Floyd and Warshall meet Kleene

Höfner, Peter, Möller, Bernhard

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 243 KB

english, 2012

34

Algebraic Neighbourhood Logic

Peter Höfner, Bernhard Möller

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 369 KB

english, 2008

35

An algebra of hybrid systems

Peter Höfner, Bernhard Möller

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 435 KB

english, 2009

36

The impact of dutasteride, a novel 5-α reductase inhibitor, on the hallmarks of BPH. Progression and outcomes

Peter Boyle, Claus Roehrborn, Gerald Andriole, Nickel J Curtis, Klaus Hofner, Michael O'Leary

Journal:

European Urology Supplements

Year:

2002

Language:

english

File:

PDF, 207 KB

english, 2002

37

Effect of the dual 5 alpha-reductase inhibitor dutasteride on endocrine parameters and prostate volume

Claus Roehrborn, Gerald Andriole, Peter Boyle, Klaus Höfner

Journal:

European Urology Supplements

Year:

2002

Language:

english

File:

PDF, 207 KB

english, 2002

38

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Algebraic View Reconciliation

Höfner, Peter, Khedri, Ridha, Möller, Bernhard

Year:

2008

Language:

english

File:

PDF, 320 KB

english, 2008

39

Association of beta-defensin 1 single nucleotide polymorphisms with Crohn's disease

Katalin Kocsis, Ágnes, Laszló Lakatos, Péter, Somogyvári, Ferenc, Fuszek, Peter, Papp, János, Fischer, Simon, Szamosi, Tamás, Lakatos, Laszlo, Kovacs, Ágota, Hofner, Peter, Mándi, Yvette

Journal:

Scandinavian Journal of Gastroenterology

Year:

2008

Language:

english

File:

PDF, 120 KB

english, 2008

40

The International Continence Society “Benign Prostatic Hyperplasia” Study: International Differences in Lower Urinary Tract Symptoms and Related Bother

Witjes, Wim P.J., de la Rosette, Jean J.M.C.H., Donovan, Jenny L., Peters, Tim J., Abrams, Paul, Kay, Hazel E., Hofner, Klaus, Kinn, Ann-Charlotte, Walter, Steen

Journal:

The Journal of Urology

Year:

1997

Language:

english

File:

PDF, 755 KB

english, 1997

41

Prediction of outcome in patients with urothelial carcinoma of the bladder following radical cystectomy using artificial neural networks

Buchner, A., May, M., Burger, M., Bolenz, C., Herrmann, E., Fritsche, H.-M., Ellinger, J., Höfner, T., Nuhn, P., Gratzke, C., Brookman-May, S., Melchior, S., Peter, J., Moritz, R., Tilki, D., Gilfrich

Journal:

European Journal of Surgical Oncology (EJSO)

Year:

2013

Language:

english

File:

PDF, 478 KB

english, 2013

42

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 8428 || On Faults and Faulty Programs

Höfner, Peter, Jipsen, Peter, Kahl, Wolfram, Müller, Martin Eric

Year:

2014

Language:

english

File:

PDF, 258 KB

english, 2014

43

Shuttle–Cargo Fusion Molecules of Transport Peptides and the hD 2/3 Receptor Antagonist Fallypride: A Feasible Approach To Preserve Ligand–Receptor Binding?

Wängler, Carmen, Chowdhury, Shafinaz, Höfner, Georg, Djurova, Petia, Purisima, Enrico O., Bartenstein, Peter, Wängler, Björn, Fricker, Gert, Wanner, Klaus T., Schirrmacher, Ralf

Journal:

Journal of Medicinal Chemistry

Year:

2014

Language:

english

File:

PDF, 3.35 MB

english, 2014

44

The new 1.8 l four cylinder T-FSI engine by Audi

Jan Helbig,Dirk Höfner,Michael Grigo,Michael Kuhn,Peter Senft

Journal:

MTZ worldwide eMagazine

Year:

2006

Language:

english

File:

PDF, 85 KB

english, 2006

45

[IEEE 2012 20th IEEE International Conference on Network Protocols (ICNP) - Austin, TX, USA (2012.10.30-2012.11.2)] 2012 20th IEEE International Conference on Network Protocols (ICNP) - Towards a rigorous analysis of AODVv2 (DYMO)

Edenhofer, Sarah, Hofner, Peter

Year:

2012

Language:

english

File:

PDF, 336 KB

english, 2012

46

CCS: It’s not fair!

van Glabbeek, Rob J., Höfner, Peter

Journal:

Acta Informatica

Year:

2015

Language:

english

File:

PDF, 487 KB

english, 2015

47

A CATALOG OF CH 3 OH 7 0 -6 1A + MASER SOURCES IN MASSIVE STAR-FORMING REGIONS. II. MASERS IN NGC 6334F, G8.67–0.36, AND M17

Gómez, Laura, Luis, Leticia, Hernández-Curiel, Idalia, Kurtz, Stan E., Hofner, Peter, Araya, Esteban D.

Journal:

The Astrophysical Journal Supplement Series

Year:

2010

Language:

english

File:

PDF, 1.11 MB

english, 2010

48

ERRATUM: “CH 3 CN OBSERVATIONS TOWARD SOUTHERN MASSIVE STAR-FORMING REGIONS” (2005, ApJS, 157, 279)

Araya, Esteban, Hofner, Peter, Kurtz, Stan, Bronfman, Leonardo, DeDeo, Simon

Journal:

The Astrophysical Journal Supplement Series

Year:

2011

Language:

english

File:

PDF, 228 KB

english, 2011

49

Geodermatophilus poikilotrophi sp. nov.: A Multitolerant Actinomycete Isolated from Dolomitic Marble

Montero-Calasanz, Maria del Carmen, Hofner, Benjamin, Göker, Markus, Rohde, Manfred, Spröer, Cathrin, Hezbri, Karima, Gtari, Maher, Schumann, Peter, Klenk, Hans-Peter

Journal:

BioMed Research International

Year:

2014

Language:

english

File:

PDF, 826 KB

english, 2014

50

High Mobility Group Box 1 Protein Induction by Mycobacterium Bovis BCG

Hofner, Péter, Seprényi, György, Miczák, András, Buzás, Krisztina, Gyulai, Zsófia, Medzihradszky, Katalin F., Rouhiainen, Ari, Rauvala, Heikki, Mándi, Yvette

Journal:

Mediators of Inflammation

Year:

2007

Language:

english

File:

PDF, 2.98 MB

english, 2007